Quantitatively Evaluating Formula-Variable Relevance by Forgetting
نویسندگان
چکیده
Forgetting is a feasible tool for weakening knowledge bases by focusing on the most important issues, and ignoring irrelevant, outdated, or even inconsistent information, in order to improve the efficiency of inference, as well as resolve conflicts in the knowledge base. Also, forgetting has connections with relevance between a variable and a formula. However, in the existing literature, the definition of relevance is “binary” – there are only the concepts of “relevant” and “irrelevant”, and no means to evaluate the “degree” of relevance between variables and formulas. This paper presents a method to define the formula-variable relevance in a quantitative way, using the tool of variable forgetting, by evaluating the change of model set of a certain formula after forgetting a certain variable in it. We also discuss properties, examples and one possible application of the definition.
منابع مشابه
Uniform Interpolation by Resolution in Modal Logic
The problem of computing a uniform interpolant of a given formula on a sublanguage is known in Artificial Intelligence as variable forgetting. In propositional logic, there are well known methods for performing variable forgetting. Variable forgetting is more involved in modal logics, because one must forget a variable not in one world, but in several worlds. It has been shown that modal logic ...
متن کاملEvaluating Forgetting Curves
A new method is described for determining the effect of original learning (or any other variable) on forgetting. The major question is, How much forgetting time is required for memory performance to fall from any given level to some lower level? If this time is the same for different degrees of original learning, then forgetting is not affected by degree of original learning. If this time is gr...
متن کاملRelationship between Professional Ethics with Learning and Intentional Organizational Forgetting: Mediating Role of Sharing Knowledge
Background: Todays, professional ethics was recommended one of the variables that can effect on another organization perspectives, therefore the aim of present study was to study the correlation of professional ethics with learning and intentional organizational forgetting in staff sport offices in Isfahan province, considering the mediating role of knowledge sharing. Method: This is an applied...
متن کاملForgetting as a consequence of retrieval: a meta-analytic review of retrieval-induced forgetting.
Retrieving a subset of items can cause the forgetting of other items, a phenomenon referred to as retrieval-induced forgetting. According to some theorists, retrieval-induced forgetting is the consequence of an inhibitory mechanism that acts to reduce the accessibility of nontarget items that interfere with the retrieval of target items. Other theorists argue that inhibition is unnecessary to a...
متن کاملApplication Patterns of Projection/Forgetting
Projection and forgetting are tools that allow to express a variety of tasks in knowledge processing. Computing the forgetting about a set of predicates in a formula can be viewed as existentially quantifying the predicates and eliminating these existential second-order quantifiers, which results in a formula that does no longer contain the “forgotten” or quantified predicates, but is, with res...
متن کامل